Buy Used and New Fred Kröger Books

Temporal Logic of Programs: 8 (Monographs in Theoretical Computer Science. An EATCS Series)

by Fred Kröger

ISBN 13: 9783642715518

Format: Paperback (160 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1987

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783642086809

Format: Paperback (448 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later

Einführung in die Informatik: Algorithmenentwicklung (Springer-Lehrbuch)

by Fred Kröger

ISBN 13: 9783540533030

Format: Paperback (332 pages)
Publisher: Springer Berlin Heidelberg
Published: 01 Jan 1991

Save for later